- 深入解析 KCensus:把共识 Fast Path 合成成可解的优化问题
arXiv 2609.31302。EPFL 把 30 年来 hard-code 的 Paxos/EPaxos/SwiftPaxos fast path 统一抽象成 knowledge requirement,用 ILP 在 31 个 AWS 副本里合成出比最强基线还快 16% 的拓扑感知 fast path。
34 min - RustFS 深度解析:一群 Rust 工程师,把技术债钉在了墙上
33k Star、Apache 2.0、刚发布 1.0 的 RustFS 想用 Rust 重写 MinIO。真正让人服气的不是性能数字,而是它把架构债、兼容欠条、事故复盘全写进了仓库。
58 min
Back